Buy Used and New Daniele Mundici Books

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)

by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici

ISBN 13: 9789048153367

Format: Paperback (244 pages)
Publisher: Springer
Published: 03 Dec 2010

Save for later

Logic: a Brief Course (UNITEXT / La Matematica per il 3+2)

by Daniele Mundici

ISBN 13: 9788847023604

Format: Paperback (130 pages)
Publisher: Springer
Published: 02 Feb 2012

Save for later

Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob

ISBN 13: 9783540571841

Format: Paperback (372 pages)
Publisher: Springer
Published: 13 Aug 1993

Save for later

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science)

by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato

ISBN 13: 9783540612087

Format: Paperback (348 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob

ISBN 13: 9783540633853

Format: Paperback (364 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later